2.
3.
Higher Order Logic Theorem Proving and Its Applications 8th International Workshop, Aspen Gr...
by Schubert, E. T., Windley, P...
ISBN: 9783540602750
List Price: $89.95
4.
Formal Methods in Computer-Aided Design Second Internaitonal Conference, Fmcad '98 Palo Alto...
by FMCAD '98 Staff, Gopalakris...
ISBN: 9783540651918
List Price: $91.00
6.
Higher Order Logic Theorem Proving and Its Applications
by Schubert, E. Thomas, Windle...
ISBN: 9783662176207
List Price: $24.99
OUT OF STOCK
See Availability on Amazon7.
Digital Identity: Unmasking Identity Management Architecture (ima)
by Windley, Phillip J.
ISBN: 9780596553944
OUT OF STOCK
See Availability on Amazon8.
Digital Identity: Unmasking Identity Management Architecture (ima)
by Windley, Phillip J.
ISBN: 9780596153465
OUT OF STOCK
See Availability on Amazon9.
Digital Identity: Unmasking Identity Management Architecture (ima)
by Windley, Phillip J.
ISBN: 9780596106317